Search Results
Richard Eisenberg on Dependent Types
@rae: Update on Dependent Haskell
Richard Eisenberg – Parameters of Many Flavors
The Future of Programming with Richard Eisenberg
A Specification for Dependent Types in Haskell
HIW 2014: Dependent Haskell
A Little Taste of Dependent Types (David Thrane Christiansen)
Write a GHC extension in 30 minutes by Richard Eisenberg
06 Introduction to Dependent Types
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
MuniHac 2020: Richard Eisenberg - Partial Type Constructors
"A Little Taste of Dependent Types" by David Christiansen
